| |
Jun 03, 2025
|
|
|
|
|
2014-2015 Graduate Studies Bulletin [Archived Catalog]
|
CSCE 853 - Formal Methods in Computer Security|Credits: 3
Formal techniques applied to computer security, including formal specification language for security properties, security analysis utilities, domain-specific security concerns, and case studies of formally verified secure systems.
Prerequisites: CSCE 522 and 715
|
|